判定覆盖法要求测试用例能使被测程序中每个判定表达式的每条分支都至少通过一次。若某程序的流程图如下图所示，则用判定覆盖法对该程序进行测试时，至少需要设计( )个测试用例。